Free shipping on all orders! No minimum purchase required.
Automated Reasoning with Analytic Tableaux and Related Methods
by Serenella Cerrito (Editor), Andrei Popescu (Editor)
Frontiers of Combining Systems
by Andreas Herzig (Editor), Andrei Popescu (Editor)
